Theorem

Every finite-dimensional vector space has a basis.

Proof

By definition, finite dimensional vector spaces have a spanning list. 1753318207 - Axler 2.30 Every spanning list contains a basis|2.30 dictates that every spanning list can be reduced to a basis by throwing out some unnecessary vectors. Thus, this is proven.